a cycle was found: this is not a tree
cyc: The two Vertex sets are equal
